#ifndef __BSP_RTIMER_H__
#define __BSP_RTIMER_H__

#include <stdint.h>

/* max 65s */
void bsp_rtimer_init(uint64_t freq);
void bsp_rtimer_trigger(uint64_t t);

#endif /* __BSP_RTIMER_H__ */